Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Italy |
|---|---|
| City | Verona |
| Institution | Universita degli Studi di Verona |
| Institute | Computer Science |
Profile
| Research fields | Computer Science |
|---|---|
| Keywords | Termination analysis, Static analysis, Abstract interpretation, Program semantics, Program verification |